Two-category model of task allocation with application to ant societies.

In many network models of interacting units such as cells or insects, the coupling coefficients between units are independent of the state of the units. Here we analyze the temporal behavior of units that can switch between two 'category' states according to rules that involve category-dependent coupling coefficients. The behaviors of the category populations resulting from the asynchronous random updating of units are first classified according to the signs of the coupling coefficients using numerical simulations. They range from isolated fixed points to lines of fixed points and stochastic attractors. These behaviors are then explained analytically using iterated function systems and birth-death jump processes. The main inspiration for our work comes from studies of non-hierarchical task allocation in, e.g., harvester ant colonies where temporal fluctuations in the numbers of ants engaged in various tasks occur as circumstances require and depend on interactions between ants. We identify interaction types that produce quick recovery from perturbations to an asymptotic behavior whose characteristics are function of the coupling coefficients between ants as well as between ants and their environment. We also compute analytically the probability density of the population numbers, and show that perturbations in our model decay twice as fast as in a model with random switching dynamics. A subset of the interaction types between ants yields intrinsic stochastic asymptotic behaviors which could account for some of the experimentally observed fluctuations. Such noisy trajectories are shown to be random walks with state-dependent biases in the 'category population' phase space. With an external stimulus, the parameters of the category-switching rules become time-dependent. Depending on the growth rate of the stimulus in comparison to its population-dependent decay rate, the dynamics may qualitatively differ from the case without stimulus. Our simple two-category model provides a framework for understanding the rich variety of behaviors in network dynamics with state-dependent coupling coefficients, and especially in task allocation processes with many tasks.